Fernando Sáenz-Pérez
1/400
Universidad Complutense de Madrid
Datalog Educational System
Datalog Educational
System V6.7
User’s Manual
Fernando Sáenz-Pérez
Formal Analysis and Design of Software Systems (FADoSS)
Departamento de Ingeniería del Software e Inteligencia Artificial (DISIA)
Universidad Complutense de Madrid (UCM)
September, 4th, 2021